\documentclass[runningheads]{llncs}
\pagenumbering{Roman}
\setcounter{page}{1}
\setlength{\tabcolsep}{9pt}

\usepackage{longtable}

\begin{document}

\pagestyle{headings}

\section*{Preface}
\label{sec:Preface}

\noindent
With the raise of Model-Driven Engineering (\textsc{Mde}), model transformations are more and more used as the automation technique in software engineering. After more than a decade of maturation, \textsc{Mde} can nowadays leverage software development within complex  domains and for building large-scale systems, thanks to the recent theoretical foundations and emerging tool support. In this respect, the correctness of model transformations is one crucial requirement for the success of \textsc{Mde}. Despite some recent advances in this field, the work on the Verification \& Validation (V\&V) of model transformations still remains scattered, and a clear perspective on the subject is still an ongoing process.

The International Workshop on Verification of Model Transformations (\textsc{Volt}) is one of the most accurate venues to offer researchers a dedicated forum to classify, discuss, propose, and advance verification techniques dedicated to model transformations. This third edition has been held as a half-day event of the \textsc{Staf} (Software Technologies: Applications and Foundations) federation of conferences on the July 21$^{\mathrm{st}}$, 2014 in York, U.K. Five contributions were accepted after a rigorous review process, addressing various topics such as tool support for \textsc{Ocl}-based verification of transformations, completeness of Triple Graph Grammars, and language-independent verification of model transformations. The workshop's program consisted of the accepted papers presentation, keynotes shared with the hosting conference federation, and one open session dedicated to discussions.

%We would like to thank the authors for their contributions and presentations during the workshop, as well as our Program Committee who put an amazing effort for delivering insightful reviews. We also warmly thank the many participants who contributed to the open discussions with their remarks and experience. Our last words go to the \textsc{Staf} Workshop Chairs who did not save effort for helping us during the organisation of the workshop.

We would like to thank the STAF 2014 organization for giving us the opportunity to organize this workshop, especially to the workshops chairs, Barbara Koenig (University of Duisburg-Essen, Germany), Yishai Feldman (\textsc{Ibm} Haifa, Israel) and Dimitris Kolovos (University of York, U.K.), who were always very helpful and supportive. Many thanks to all those that submitted papers, and particularly to the presenters of the accepted papers. We also warmly thank the many participants who contributed to the open discussions with their remarks and experience. Last but not least, our thanks go to the reviewers and the members of the Program Committee, for their timely and accurate reviews and for their help in choosing and suggestions for improving the selected papers.

\vspace{1cm}
\begin{flushright}\noindent
July 2014 \hfill Moussa \textsc{Amrani}\\
   Eugene \textsc{Syriani}\\
   Manuel \textsc{Wimmer}
\end{flushright}

\pagebreak

\subsection*{Program Committee}

\begin{longtable}{@{}lp{\linewidth}}
M\'ark Asztalos & Budapest University of Technology and Economics, Hungary\\
Dider Buchs & University of Geneva, Switzerland\\
Antonio Cichetti & Malardalen University in Vasteras, Sweden\\
Benoît Combemale & University of Rennes, France\\
Michalis Famelis & University of Toronto, Canada\\
Holger Giese & Hasso-Plattner-Institute, Germany\\
Martin Gogolla & University of Bremen, Germany\\
Jeff Gray & University of Alabama, USA\\
Esther Guerra & Universidad Aut\'onoma de Madrid, Spain\\
Frank Hermann & University of Luxembourg, Luxembourg\\
Akram Idani & Laboratoire d'Informatique de Grenoble, France\\
Marouane Kessentini & University of Michigan, USA\\
Dimitrios S. Kolovos & University of York, UK\\
Leen Lambers & Hasso-Plattner-Institute, Germany\\
Kevin Lano & King's College London, UK\\
Tihamer Levendovszky & Vanderbilt University School of Engineering, USA\\
Levi Lucio & McGill University, Canada\\
Arend Rensink & University of Twente, Netherlands\\
Rick Saley & University of Toronto, Canada\\
Martina Seidl & University of Linz, Austria\\
Antonio Vallecillo & Universidad de M\'alaga, Spain\\
Hans Vanghelhuwe & University of Antwerp, Belgium / McGill University, Canada\\
D\'aniel Varr\'o & Budapest University of Technology and Economics, Hungary\\
\end{longtable}


\end{document}
